/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30
␈↓␈↓↓␈↓α␈↓
␈↓ ↓H
␈↓ α_If␈αyou␈αdrive␈α
into␈α
the␈α
parking␈α
lot␈α
of␈α
the␈α
Stanford␈α
Artificial␈α
Intelligence␈α
Laboratory,␈α
you␈α
will␈α
see
␈↓ ↓Ha␈α∂sign␈α∞that␈α∞says␈α∞␈↓αCAUTION,␈α∞ROBOT␈α∞VEHICLE␈↓.␈α∞People␈α∞react␈α∞to␈α∞this␈α∞sign␈α∞in␈α∞various␈α∞ways:␈α∞some
␈↓ ↓Hwith␈α
hope,␈αsome␈αwith␈αfear,␈αand␈αsome␈αwith␈αcuriousity␈αand␈αamusement.␈αWhat␈αis␈αthere␈αto␈αhope␈αfor␈αor
␈↓ ↓Hfear␈α
or␈α
be␈α
curious␈α
about?

␈↓ α_We␈αcan␈αhope␈αfor␈αa␈αcar␈αthat␈αwould␈αdrive␈αitself␈αto␈αwhatever␈αdestination␈αis␈αkeyed␈αinto␈αits␈α
control
␈↓ ↓Hunit.␈αSuch␈αa␈αcar␈αcould␈α
be␈α
used␈α
by␈α
children,␈α
old␈α
people,␈α
and␈α
the␈α
handicapped.␈α
It␈α
could␈α
go␈α
by␈α
itself␈α
for
␈↓ ↓Hservicing␈αor␈αto␈αthe␈αstore␈α
to␈α
pick␈α
up␈α
something␈α
that␈α
had␈α
been␈α
ordered␈α
by␈α
telephone.␈α
Naturally,␈α
it␈α
must
␈↓ ↓Hdrive␈α∞more␈α∞safely␈α∞than␈α∞the␈α∞best␈α∞human␈α∞drivers.␈α∞We␈α∞can␈α∞also␈α∞hope␈α∞that␈α∞it␈α
would␈α
be␈α
able␈α
to␈α
drive
␈↓ ↓Hfaster␈α∂with␈α∞safety␈α∞and␈α∞closer␈α∞to␈α∞other␈α∞cars␈α∞than␈α∞can␈α∞human␈α∞drivers,␈α∞because␈α∞it␈α∞would␈α∞react␈α∞faster,
␈↓ ↓Hwould␈α∞not␈α∞suffer␈α∞lapses␈α
of␈α
attention,␈α
and␈α
would␈α
co-ordinate␈α
its␈α
movements␈α
with␈α
those␈α
of␈α
the␈α
other
␈↓ ↓Hcars␈α
in␈α
its␈α
vicinity.␈α
Of␈α
course,␈α
robotics␈α
has␈α
many␈α
other␈α
possibilities␈α
besides␈α
automated␈α
cars,␈αbut␈αwe
␈↓ ↓Hwill␈α
use␈α
it␈α
as␈α
an␈α
example␈α
for␈α
now.

␈↓ α_Artificial␈α∂intelligence␈α∂arouses␈α∂a␈α∂number␈α∂of␈α∂fears,␈α∂but␈α∂most␈α∂of␈α∂them␈α∂center␈α∂on␈α∂the␈α∞idea␈α∞that
␈↓ ↓Hintelligent␈α∞machines␈α∞might␈α∞prove␈α∞uncontrollable␈α∞or␈α∞than␈α∞man␈α∞might␈α∞suffer␈α
irrepairable␈α
damage␈α
to
␈↓ ↓Hhis␈α∂pride␈α∞and␈α∞self␈α∞respect.␈α∞For␈α∞example,␈α∞automated␈α∞cars␈α∞might␈α∞crash␈α∞when␈α∞some␈α∞central␈α∞computer
␈↓ ↓Hbroke␈α∩down␈α∩or␈α∩they␈α∩might␈α⊃take␈α⊃you␈α⊃somewhere␈α⊃you␈α⊃didn't␈α⊃want␈α⊃to␈α⊃go.␈α⊃Evil␈α⊃people␈α⊃might␈α⊃use
␈↓ ↓Hintelligent␈α⊂machines␈α⊂to␈α∂conquer␈α∂the␈α∂world␈α∂or␈α∂the␈α∂machines␈α∂themselves␈α∂might␈α∂develop␈α∂a␈α∂desire␈α∂to
␈↓ ↓Hconquer␈αthe␈αworld.␈αEven␈αif␈αnothing␈αdirectly␈αbad␈αhappened,␈αpeople␈αmight␈αhave␈αlose␈αtheir␈αmotivation
␈↓ ↓Hto␈α
do␈α
anything␈α
once␈α
they␈α
knew␈α
that␈α
there␈α
were␈α
machines␈α
smarter␈α
than␈α
they␈α
were.

␈↓ α_We␈αwill␈αreturn␈αto␈αthe␈αhopes␈αand␈αfears␈αlater␈αin␈αthe␈αarticle,␈αwhen␈αthere␈αis␈αmore␈αinformation␈αon
␈↓ ↓Hwhich␈α
to␈α
base␈α
a␈α
discussion.␈α
The␈α
curious␈α
also␈α
have␈α
lots␈α
of␈α
questions:

␈↓ α_1.␈α∂How␈α∂intelligent␈α∂are␈α∂the␈α∂smartest␈α∂present␈α∂machines,␈α∂and␈α∂what␈α∂can␈α∞they␈α∞do?␈α∞How␈α∞do␈α∞they
␈↓ ↓Hwork?

␈↓ α_2.␈α∞Is␈α∞it␈α∞possible␈α∞for␈α∞machines␈α∞to␈α∞be␈α∞as␈α∞intelligent␈α∞or␈α∞more␈α∞intelligent␈α
than␈α
people,␈α
and␈α
when
␈↓ ↓Hmight␈α
this␈α
come␈α
about,␈α
if␈α
at␈α
all?

␈↓ α_3.␈α
What␈α
has␈α
been␈α
discovered␈α
aboet␈α
how␈α
to␈α
make␈α
machines␈α
behave␈α
intelligently?

␈↓ α_4.␈α
What␈α
kind␈α
of␈α
personalities␈α
might␈α
intelligent␈α
machines␈α
have?

␈↓ α_5.␈α
How␈α
soon␈α
can␈α
something␈α
practical␈α
come␈α
of␈α
it?

␈↓ α_The␈α∞idea␈α∞of␈α∞intelligent␈α∞machines␈α∞originated␈α∞in␈α∞three␈α∞stages:␈α∞The␈α∞first␈α∞stage␈α∞was␈α∞to␈α
make␈α
an
␈↓ ↓Hartificial␈αintelligent␈αmachine␈αby␈αmagic.␈αThere␈αis␈αa␈αJewish␈αlegend␈αof␈αthe␈αRabbi␈αof␈αPrague␈αcreating␈αa
␈↓ ↓Hmonster␈αcalled␈αthe␈α␈↓↓Golem␈↓␈αin␈αthe␈α16th␈αcentury.␈αIn␈αthe␈αearly␈α19th␈αcentury,␈αMary␈α
Wollstonecraft␈α
Shelley
␈↓ ↓Hwrote␈α∞about␈α∞the␈α∞creation␈α
of␈α
Frankenstein's␈α
monster␈α
by␈α
science,␈α
but␈α
this␈α
science␈α
was␈α
just␈α
a␈α
fictional
␈↓ ↓Hdevice␈α∞playing␈α∞the␈α∞same␈α∞role␈α∞as␈α∞magic␈α∞since␈α∞how␈α∞the␈α∞alleged␈α
science␈α
was␈α
supposed␈α
to␈α
work␈α
wasn't
␈↓ ↓Hstated.␈α⊂The␈α⊂idea␈α⊂of␈α⊂a␈α⊂robot␈α⊂as␈α⊂a␈α⊂metal␈α⊂man␈α⊂built␈α⊂up␈α⊂from␈α⊂parts␈α∂became␈α∂common␈α∂in␈α∂the␈α∂1920s.
␈↓ ↓HHowever,␈αserious␈αefforts␈αto␈αunderstand␈αwhat␈αwould␈αbe␈αrequired␈αto␈αmake␈αintelligent␈αmachines␈αbegan
␈↓ ↓Honly␈α∞after␈α∞the␈α
design␈α
of␈α
the␈α
first␈α
universal␈α
computers␈α
in␈α
the␈α
late␈α
1940s,␈α
almost␈α
all␈α
work␈α
since␈α
then
␈↓ ↓Hhas␈α
been␈α
based␈α
on␈α
them.

␈↓ ↓HWhat␈α
is␈α
AI?

␈↓ α_␈↓↓Artificial␈α∂intelligence␈↓␈α∂is␈α∂the␈α∂name␈α∂given␈α∂to␈α∂the␈α∞study␈α∞of␈α∞the␈α∞mechanisms␈α∞of␈α∞intelligence␈α∞and
␈↓ ↓Hhow␈αto␈αmake␈αcomputers␈αbehave␈αintelligently.␈αIts␈αultimate␈αscientific␈αgoal␈αis␈αa␈αcomplete␈αunderstanding
␈↓ ↓Hof␈α⊂the␈α⊂processes␈α⊂of␈α⊂solving␈α⊂intellectual␈α⊂problems.␈α⊂Its␈α⊂ultimate␈α⊂practical␈α⊂goal␈α⊂would␈α⊂be␈α⊂to␈α∂make␈α∂a
␈↓ ↓Hcomputer␈α
program␈α
with␈α
all␈α
the␈α
intellectual␈α
capabilities␈αof␈αa␈αhuman␈αand␈αmore,␈αif␈αpossible.␈αIf␈αsuch␈αa
␈↓ ↓Hcomputer␈αwith␈αsuch␈αa␈αprogram␈αwere␈α
put␈α
into␈α
a␈α
suitable␈α
body␈α
and␈α
provided␈α
with␈α
human-like␈α
goals,␈α
it
␈↓ ↓Hwould␈α
be␈α
the␈α
intelligent␈α
robot␈α
of␈α
science␈α
fiction,␈α
but␈α
this␈α
would␈α
not␈α
necessarily␈α
be␈α
a␈α
good␈α
thing␈α
to␈α
do.

␈↓ α_Neither␈α∞the␈α∞theoretical␈α∞goal␈α∞of␈α∞a␈α∞fully␈α∞understanding␈α∞intelligence␈α∞nor␈α
the␈α
practical␈α
goal␈α
of␈α
a
␈↓ ↓Hprogram␈α∞with␈α∞human␈α∞level␈α∞intelligence␈α∞is␈α
near␈α
or␈α
can␈α
be␈α
reached␈α
in␈α
one␈α
step.␈α
It␈α
is␈α
not␈α
possible␈α
to
␈↓ ↓Hestimate␈α⊂how␈α⊂far␈α⊂off␈α⊂these␈α⊂goals␈α⊂are␈α⊂in␈α∂time,␈α∂because␈α∂some␈α∂conceptual␈α∂breakthroughs␈α∂are␈α∂almost
␈↓ ↓Hcertainly␈α
required,␈α
before␈α
we␈α
can␈α
estimate␈α
what␈α
programs␈α
will␈α
have␈α
to␈α
be␈α
written.

␈↓ α_Progress␈α∩is␈α∩made␈α∩in␈α∩the␈α∩theory␈α⊃of␈α⊃AI␈α⊃by␈α⊃identifying␈α⊃the␈α⊃mechanisms␈α⊃of␈α⊃intelligence␈α⊃and
␈↓ ↓Hstudying␈α∞their␈α∞properties,␈α∞and␈α∞progress␈α∞is␈α∞made␈α∞in␈α∞practice␈α∞by␈α
making␈α
programs␈α
to␈α
carry␈α
out␈α
ever
␈↓ ↓Hmore␈α∪difficult␈α∪intellectual␈α∪tasks.␈α∩The␈α∩theory␈α∩and␈α∩practice␈α∩interact␈α∩whenever␈α∩we␈α∩put␈α∩intellectual
␈↓ ↓Hmechanisms␈αwe␈αthink␈αwe␈αunderstand␈αinto␈αa␈αprogram␈αand␈αtest␈αwhether␈αthe␈αprogram␈αcan␈αdo␈αa␈αcertain
␈↓ ↓Htask.␈α
If␈α
it␈α
doesn't␈α
do␈α
the␈α
task␈α
well,␈α
we␈α
get␈α
clues␈α
as␈α
to␈α
what␈α
mechanisms␈α
we␈α
don't␈α
yet␈α
understand.

␈↓ α_The␈α
study␈α
of␈α
intellectual␈α
mechanisms␈α
is␈α
related␈α
to␈α
other␈α
sciences.

␈↓ α_The␈αpsychologist␈αis␈αinterested␈αin␈αthe␈αintellectual␈αmechanisms␈αof␈αthe␈αhuman␈αand␈αanimal␈αbrain.
␈↓ ↓HWhatever␈αmechanisms␈αthey␈αpostulate␈αto␈αaccount␈αfor␈αthe␈αbehavior␈αof␈αsubjects,␈αwe␈αcan␈αtry␈αto␈αprogram
␈↓ ↓Hif␈αa␈αmechanism␈αhas␈αbeen␈αprecisely␈αdescribed,␈αand␈αit␈αcan␈αbe␈αtested␈α
whether␈α
the␈α
postulated␈α
mechanism
␈↓ ↓His␈α⊃adequate␈α⊃to␈α⊃produce␈α⊃the␈α⊃subjects'␈α⊃performance.␈α⊃More␈α⊃directly,␈α⊃a␈α⊃computer␈α⊂scientist␈α⊂can␈α⊂make
␈↓ ↓Hprograms␈α⊃that␈α⊃attack␈α⊃problems␈α⊃the␈α⊃way␈α⊃he␈α⊃thinks␈α⊃he␈α⊃does␈α⊃it␈α⊃himself.␈α⊂This␈α⊂interaction␈α⊂with␈α⊂AI
␈↓ ↓Hresearch␈α∞has␈α∞caused␈α∞psychologists␈α∞to␈α∞attribute␈α∞to␈α
the␈α
human␈α
mind␈α
much␈α
more␈α
complex␈α
intellectual
␈↓ ↓Hstructures␈α
than␈α
their␈α
methodology␈α
previously␈α
allowed␈α
them␈α
to␈α
infer.␈α
This␈α
is␈α
because␈αthere␈αwas␈αjust
␈↓ ↓Hno␈αway␈αto␈αproduce␈αhuman␈αproblem␈αsolving␈αability␈αin␈αsimple␈αstimulus-response␈αprograms␈αof␈αthe␈αtype
␈↓ ↓Hpreviously␈α
postulated.

␈↓ α_The␈αneurophysiologist␈αis␈αinterested␈αin␈αthe␈αstructure␈α
and␈α
workings␈α
of␈α
the␈α
brain␈α
starting␈α
with␈α
its
␈↓ ↓Hbasic␈α⊂element--the␈α∂nerve␈α∂cell.␈α∂At␈α∂one␈α∂time␈α∂it␈α∂was␈α∂thought␈α∂that␈α∂something␈α∂could␈α∂be␈α∂learned␈α∂about
␈↓ ↓Hintelligent␈α∂behavior␈α∂from␈α∂studies␈α∂of␈α∞the␈α∞nerve␈α∞cell␈α∞itself,␈α∞but␈α∞it␈α∞was␈α∞soon␈α∞shown␈α∞that␈α∞any␈α∞kind␈α∞of
␈↓ ↓Hbehavior␈α⊂could␈α∂be␈α∂built␈α∂up␈α∂from␈α∂almost␈α∂any␈α∂possible␈α∂model␈α∂of␈α∂the␈α∂nerve␈α∂cell.␈α∂The␈α∂physiologist's
␈↓ ↓Hinteraction␈α∂with␈α∂AI␈α∞research␈α∞as␈α∞well␈α∞as␈α∞with␈α∞psychology␈α∞will␈α∞grow␈α∞when␈α∞they␈α∞are␈α∞in␈α∞a␈α∞position␈α∞to
␈↓ ↓Hobserve␈α
the␈α
computational␈α
processes␈α
carried␈α
out␈α
by␈α
large␈α
numbers␈α
of␈α
interacting␈α
nerve␈α
cells.

␈↓ α_Just␈α⊂as␈α⊂any␈α⊂computation␈α⊂can␈α⊂be␈α⊂carried␈α⊂out␈α⊂by␈α⊂nerve␈α⊂cells␈α⊂suitably␈α⊂connected,␈α⊂so␈α⊂can␈α⊂any
␈↓ ↓Hcomputation␈α⊂be␈α∂carried␈α∂out␈α∂by␈α∂vacuum␈α∂tubes,␈α∂by␈α∂transistors,␈α∂or␈α∂by␈α∂integrated␈α∂circuits.␈α∂Therefore,
␈↓ ↓Hthere␈α∂is␈α∂hardly␈α∂any␈α∂interaction␈α∞between␈α∞AI␈α∞and␈α∞the␈α∞subject␈α∞of␈α∞electronics.␈α∞Of␈α∞course,␈α∞advances␈α∞in
␈↓ ↓Helectronics␈α
make␈α
computation␈α
cheaper␈α
and␈α
faster.

␈↓ α_AI␈α∀also␈α∀interacts␈α∀with␈α∀mathematical␈α∀logic,␈α∀philosophy␈α∀and␈α∀linguistics.␈α∀The␈α∪languages␈α∪of
␈↓ ↓Hmathematical␈αlogic␈αare␈α
used␈α
to␈α
express␈α
facts␈α
about␈α
the␈α
world␈α
in␈α
some␈α
intelligent␈α
programs,␈α
and␈α
a␈α
new
␈↓ ↓Harea␈α∂in␈α∂mathematical␈α∂logic␈α∂is␈α∂concerned␈α∂with␈α∂the␈α∂properties␈α∂of␈α∂computer␈α∂programs,␈α∞which␈α∞is␈α∞also
␈↓ ↓Himportant␈α∀for␈α∀AI.␈α∀The␈α∀connection␈α∀with␈α∀philosophy␈α∀comes␈α∀about␈α∪because␈α∪a␈α∪general␈α∪intelligent
␈↓ ↓Hprogram␈α
must␈α
have␈α
built␈α
into␈α
it␈α
some␈α
view␈α
of␈α
what␈α
the␈α
world␈α
is␈α
like␈α
in␈α
general,␈αand␈αphilosophers
␈↓ ↓Hhave␈α
been␈α
studying␈α
this␈α
for␈α
2000␈αyears.␈αBoth␈αAI␈αand␈αlinguistics␈αare␈αconcerned␈αwith␈αwhat␈αsentences
␈↓ ↓Hmean,␈α
and␈α
translation␈α
from␈α
one␈α
language␈α
to␈α
another␈α
was␈α
one␈α
of␈α
the␈α
earliest␈α
AI␈α
tasks␈α
attempted.

␈↓ ↓HComputers

␈↓ α_The␈αprevious␈αsection␈αreferred␈αto␈αintelligent␈αcomputer␈αprograms,␈αand␈αyou␈αmay␈αhave␈αwondered
␈↓ ↓Hwhether␈α∂perhaps␈α∞the␈α∞AI␈α∞researchers␈α∞were␈α∞missing␈α∞a␈α∞bet␈α∞in␈α∞confining␈α∞their␈α∞attention␈α∞to␈α∞computers.
␈↓ ↓HCould␈α
it␈α
be␈αthat␈αsome␈αother␈αkind␈αof␈αmachine␈αthan␈αa␈αcomputer␈αis␈αrequired␈αfor␈αintelligent␈αbehavior?
␈↓ ↓HThe␈α
answer␈α
is␈α
no,␈α
but␈α
to␈α
see␈α
why,␈α
we␈α
have␈α
to␈α
know␈α
more␈α
about␈α
computers.

␈↓ α_By␈α∞computer,␈α∞we␈α∞mean␈α∞a␈α∞stored␈α∞program␈α
digital␈α
computer;␈α
this␈α
is␈α
the␈α
dominant␈α
kind␈α
in␈α
use
␈↓ ↓Htoday.␈αSuch␈αa␈αcomputer␈αincludes␈αa␈αmain␈αmemory,␈αan␈αexecution␈αunit,␈αinput-output␈αunits,␈αand␈αusually
␈↓ ↓Hsome␈α
secondary␈α
memory.

␈↓ α_The␈α
main␈α
memory␈α
stores␈α
information␈α
and␈α
gives␈α
it␈α
back␈αon␈αdemand␈αfrom␈αthe␈αexecution␈αunit.
␈↓ ↓HThus␈αwhen␈αthe␈αmemory␈αis␈αgiven␈αa␈α␈↓↓word␈↓␈αof␈αinformation␈αand␈αan␈α␈↓↓address␈↓,␈αit␈αwrites␈αthe␈αinformation␈αin
␈↓ ↓Hthe␈αmemory␈αregister␈αhaving␈αthat␈αaddress␈αforgetting␈αwhat␈αwas␈αpreviously␈αin␈αthat␈αregister.␈αIt␈αwill␈α␈↓↓read␈↓
␈↓ ↓Ha␈α
word␈α
from␈α
a␈α
register␈α
when␈α
given␈α
the␈α
address␈α
of␈α
the␈α
register␈α
and␈α
told␈α
to␈α
read.

␈↓ α_Any␈α∩kind␈α∩of␈α∩information␈α∩can␈α∩be␈α∩stored␈α∩in␈α⊃a␈α⊃computer␈α⊃memory.␈α⊃Indeed,␈α⊃at␈α⊃one␈α⊃time␈α⊃the
␈↓ ↓Hinformation␈α∞may␈α∞be␈α∞a␈α∞computer␈α∞instruction␈α∞and␈α∞a␈α∞millisecond␈α∞later,␈α
it␈α
may␈α
be␈α
a␈α
number␈α
or␈α
a␈α
few
␈↓ ↓Hletters␈αfrom␈αsomeone's␈αname␈αor␈αpart␈αof␈αa␈αfact␈αthat␈αtells␈αwhat␈αhappens␈αwhen␈αan␈αegg␈αis␈αdropped␈αon␈αa
␈↓ ↓Hfloor.␈αThis␈αis␈αpossible␈αbecause␈αany␈α
kind␈α
of␈α
information␈α
can␈α
be␈α
␈↓↓encoded␈↓␈α
as␈α
strings␈α
of␈α
0's␈α
and␈α
1's.␈α
Thus
␈↓ ↓Hthe␈αletter␈αA␈αis␈αcommonly␈αrepresented␈αas␈α1000001␈αand␈αB␈αas␈α1000010.␈αHow␈αmany␈α0's␈αand␈α1's␈α
a␈α
register
␈↓ ↓Hcan␈αcontain␈αdepends␈αon␈αthe␈αcomputer.␈αA␈αmemory␈αof␈α262,144␈αwords␈αwith␈α36␈α␈↓↓bits␈↓␈α(0's␈αor␈α1's)␈α
each,␈α
and
␈↓ ↓Hwhere␈α
a␈α
word␈α
can␈α
be␈α
read␈αor␈αwritten␈αin␈αone␈αmicrosecond␈α(millionth␈αof␈αa␈αsecond)␈αis␈αcommonly␈αused
␈↓ ↓Hfor␈α
AI␈α
research.␈α
The␈α
first␈α
draft␈α
of␈α
this␈α
article␈α
requires␈α
2000␈α
computer␈α
words␈α
to␈α
store␈α
it.

␈↓ α_The␈α∂execution␈α∂unit␈α∞takes␈α∞words␈α∞from␈α∞memory␈α∞and␈α∞interprets␈α∞them␈α∞as␈α∞instructions␈α∞and␈α∞does
␈↓ ↓Hwhat␈α
they␈α
tell␈α
it␈α
to␈α
do.␈α
When␈α
it␈α
is␈α
ready␈α
to␈αbegin␈αobeying␈αan␈αinstruction,␈αit␈αgets␈αa␈αmemory␈αaddress
␈↓ ↓Hfrom␈αa␈αspecial␈αregister␈αcalled␈αits␈α␈↓↓program␈αcounter␈↓,␈αgets␈αthe␈αcontents␈αof␈α
that␈α
address␈α
from␈α
memory␈α
and
␈↓ ↓Hinterprets␈αit␈αas␈αan␈αinstruction.␈αThere␈αare␈α
several␈α
kinds␈α
of␈α
instructions:␈α
one␈α
may␈α
cause␈α
a␈α
number␈α
to␈α
be
␈↓ ↓Htaken␈α∞from␈α
memory␈α
and␈α
added␈α
to␈α
a␈α
special␈α
register␈α
in␈α
the␈α
instruction␈α
unit,␈α
another␈α
may␈α
cause␈α
the
␈↓ ↓Hcontents␈α
of␈α
such␈α
a␈α
register␈α
to␈α
be␈α
stored␈α
at␈α
a␈α
specified␈α
address␈α
in␈α
memory,␈α
another␈α
may␈α
change␈αthe
␈↓ ↓Hprogram␈α∩counter␈α∩to␈α∩a␈α∩value␈α∩that␈α∩depends␈α∩on␈α⊃whether␈α⊃the␈α⊃contents␈α⊃of␈α⊃a␈α⊃register␈α⊃is␈α⊃positive␈α⊃or
␈↓ ↓Hnegative,␈α∪and␈α∪still␈α∪others␈α∩send␈α∩information␈α∩to␈α∩the␈α∩outside␈α∩world,␈α∩say␈α∩by␈α∩sending␈α∩a␈α∩letter␈α∩to␈α∩a
␈↓ ↓Htypewriter␈α
connected␈α
to␈α
the␈α
computer.

␈↓ α_What␈α∃instructions␈α∃there␈α∃are␈α∃depends␈α∃on␈α∃the␈α∃computer,␈α∀but␈α∀the␈α∀instructions␈α∀are␈α∀always
␈↓ ↓Hindividually␈α
quite␈α
simple.␈α
Complex␈α
behavior␈α
is␈αobtained␈αby␈αwriting␈α␈↓↓programs␈↓␈αcontaining␈αhundreds
␈↓ ↓Hor␈α⊂thousands␈α⊂of␈α⊂instructions.␈α⊂A␈α⊂typical␈α∂program␈α∂that␈α∂plays␈α∂chess␈α∂moderately␈α∂well␈α∂contains␈α∂12,000
␈↓ ↓Hinstructions␈αand␈αuses␈αanother␈α4000␈αwords␈αof␈αmemory␈αfor␈αdata,␈αbut␈αprograms␈αof␈αmore␈αthan␈αa␈αmillion
␈↓ ↓Hinstructions␈α
have␈α
been␈α
written␈α
by␈α
putting␈α
together␈α
subprograms␈α
written␈α
by␈α
many␈α
people.

␈↓ α_Systematic␈αthought␈αand␈αexperiment␈αin␈αartificial␈αintelligence␈αbegan␈αwith␈αthe␈αfirst␈αcomputers␈αin
␈↓ ↓Hthe␈α⊃late␈α⊃1940s.␈α⊃This␈α⊃is␈α⊃because␈α⊃stored␈α⊃program␈α⊃digital␈α⊃computers␈α⊂are␈α⊂computationally␈α⊂universal,
␈↓ ↓Hwhich␈α
means␈α
that␈α
any␈α
computation␈α
doable␈α
by␈α
any␈α
machine␈α
can␈α
be␈α
done␈αby␈αa␈αsuitable␈αprogram␈αon
␈↓ ↓Hany␈αstored␈α
program␈α
computer␈α
provided␈α
it␈α
has␈α
enough␈α
memory.␈α
This␈α
fact␈α
was␈α
proved␈α
for␈α
a␈α
particular
␈↓ ↓Hkind␈α
of␈α
computer␈α
(never␈α
built)␈α
by␈α
the␈α
English␈α
logician␈α
Alan␈α
Turing␈α
in␈α
1936.␈αIt␈αmeans␈αthat␈αthe␈αAI
␈↓ ↓Hresearcher␈α∂doesn't␈α∂have␈α∂to␈α∂design␈α∞and␈α∞build␈α∞a␈α∞machine.␈α∞He␈α∞doesn't␈α∞have␈α∞to␈α∞know␈α∞electronics␈α∞and
␈↓ ↓Hmost␈α
don't.␈αHe␈αhas␈αonly␈αto␈αdetermine␈αthe␈αprocedure␈αhe␈αwants␈αthe␈αmachine␈αto␈αcarry␈αout␈αand␈αhow␈αto
␈↓ ↓Hexpress␈αit␈αas␈αa␈αprogram␈αin␈αone␈αof␈αthe␈αlanguages␈αavailable␈α
on␈α
the␈α
computer␈α
he␈α
intends␈α
to␈α
use.␈α
This␈α
is
␈↓ ↓Hhard␈α
enough.

␈↓ α_Of␈α⊂course,␈α⊂it␈α⊂can␈α⊂happen␈α∂that␈α∂an␈α∂important␈α∂procedure␈α∂in␈α∂his␈α∂program␈α∂can␈α∂be␈α∂done␈α∂much
␈↓ ↓Hfaster␈αon␈αa␈αspecial␈αpurpose␈αmachine␈αthan␈αby␈αa␈αprogram␈αon␈αa␈αgeneral␈αpurpose␈α
computer.␈α
In␈α
this␈α
case,
␈↓ ↓Ha␈α
special␈α
purpose␈α
machine␈α
may␈α
be␈α
built␈α
and␈α
attached␈α
to␈α
the␈α
computer.␈α
However,␈α
the␈αresearch␈αhad
␈↓ ↓Hbetter␈αbe␈αvery␈αsure␈αthat␈αa␈αprocedure␈αthat␈αis␈αto␈αbe␈αbuilt␈αinto␈αhardware␈αis␈αjust␈αwhat␈αhe␈αwants,␈αsince␈αa
␈↓ ↓Hmachine␈αis␈αmuch␈αharder␈αto␈αchange␈αthan␈αa␈αprogram.␈αUnfortunately,␈αresearch␈αin␈αartificial␈αintelligence
␈↓ ↓Hhas␈α
not␈α
reached␈α
the␈α
point␈α
where␈α
just␈α
increasing␈α
the␈α
speed␈α
of␈α
computation␈α
will␈α
allow␈α
large␈α
advances.

␈↓ ↓HThe␈α
experimental␈α
approach␈α
to␈α
AI

␈↓ α_The␈α⊂experimental␈α⊂approach␈α∂to␈α∂AI␈α∂consists␈α∂in␈α∂taking␈α∂a␈α∂task,␈α∂seeing␈α∂how␈α∂far␈α∂one␈α∂can␈α∂go␈α∂in
␈↓ ↓Hprogramming␈αit␈αby␈αstraightforward␈αmethods,␈αand␈αtrying␈αto␈αidentify␈αwhat␈α
intellectual␈α
mechanisms␈α
are
␈↓ ↓Hinvolved.␈α
Here␈α
are␈α
some␈α
of␈α
the␈α
tasks␈α
that␈α
were␈α
attempted,␈α
something␈α
about␈αthe␈αmethods␈αused,␈αand
␈↓ ↓Hsomething␈α
about␈α
the␈α
results␈α
that␈α
were␈α
obtained.

␈↓ α_Making␈α
the␈α
computer␈α
play␈α
board␈α
games,␈α
especially␈α
chess,␈α
has␈α
been␈αa␈αpopular␈αtask.␈αCheckers,
␈↓ ↓Hkalah,␈αgo,␈αtictactoe␈α(this␈αis␈αeasy),␈αand␈αsome␈αcard␈αgames␈αhave␈αalso␈αbeen␈αattempted.␈α
All␈α
the␈α
better␈α
chess
␈↓ ↓Hprograms␈α∞built␈α∞so␈α∞far␈α∞work␈α∞similarly.␈α∞A␈α∞method␈α∞is␈α∞chosen␈α
for␈α
representing␈α
a␈α
chess␈α
position␈α
in␈α
the
␈↓ ↓Hmemory␈αof␈αthe␈αcomputer␈αusing␈αtables␈αgiving␈αthe␈αlocation␈αof␈αeach␈αpiece␈αand/or␈αthe␈αoccupant␈αof␈αeach
␈↓ ↓Hsquare.␈αA␈αsubprogram␈αis␈αwritten␈αthat␈α
can␈α
list␈α
the␈α
legal␈α
moves␈α
in␈α
a␈α
position␈α
and␈α
the␈α
new␈α
position␈α
that
␈↓ ↓Hresults␈α
from␈α
any␈α
move.

␈↓ α_With␈α⊂just␈α⊂this␈α⊂and␈α⊂another␈α∂subprogram␈α∂for␈α∂recognizing␈α∂checkmate␈α∂one␈α∂could␈α∂write␈α∂a␈α∂very
␈↓ ↓Hsimple␈α∞program␈α∞that␈α∞would␈α∞always␈α∞determine␈α∞the␈α∞best␈α∞move.␈α∞It␈α∞would␈α∞simply␈α∞test␈α∞all␈α∞sequences␈α
of
␈↓ ↓Hmoves␈αof␈αthe␈αtwo␈αplayers␈αand␈αwork␈αbackwards␈αfrom␈αthe␈α
end␈α
of␈α
the␈α
game.␈α
The␈α
only␈α
trouble␈α
with␈α
this
␈↓ ↓Hsimple␈αprogram␈αis␈αthat␈αit␈αwouldn't␈αget␈αdone␈αin␈αthe␈αprogrammer's␈α
lifetime␈α
because␈α
there␈α
are␈α
too␈α
many
␈↓ ↓Hpossibilities.␈α⊂In␈α⊂fact,␈α⊂it␈α∂wouldn't␈α∂get␈α∂done␈α∂before␈α∂the␈α∂stars␈α∂cool␈α∂off␈α∂even␈α∂if␈α∂every␈α∂atom␈α∂in␈α∂all␈α∂the
␈↓ ↓Hvisible␈α∞galaxies␈α∞of␈α∞stars␈α∞were␈α∞a␈α
computer␈α
that␈α
could␈α
do␈α
an␈α
instruction␈α
in␈α
the␈α
time␈α
it␈α
takes␈α
light␈α
to
␈↓ ↓Hcross␈α∃an␈α∃atom---we␈α∃call␈α∃a␈α∀calculation␈α∀that␈α∀wouldn't␈α∀get␈α∀done␈α∀under␈α∀those␈α∀conditions␈α∀␈↓↓strongly
␈↓ ↓Himpractical␈↓.␈α⊗Therefore␈α⊗it␈α⊗is␈α⊗necessary␈α∃to␈α∃use␈α∃some␈α∃tricks,␈α∃called␈α∃␈↓↓heuristics␈↓,␈α∃for␈α∃avoiding␈α∃this
␈↓ ↓H␈↓↓combinatorial␈α
explosion␈↓.

␈↓ α_The␈α⊂heuristics␈α⊂used␈α⊂involved␈α⊂looking␈α⊂at␈α⊂only␈α⊂some␈α⊂of␈α⊂the␈α⊂possible␈α⊂continuations␈α⊂from␈α∂the
␈↓ ↓Hposition␈αin␈αwhich␈αthe␈αmachine␈αhas␈αto␈αfind␈αa␈αmove.␈αThe␈α␈↓↓look-ahead␈↓␈αis␈αstopped␈αat␈αsome␈αpoint␈αand␈αan
␈↓ ↓Happroximate␈α⊃rule␈α⊃is␈α⊃used␈α⊂to␈α⊂evaluate␈α⊂the␈α⊂position.␈α⊂Thus␈α⊂the␈α⊂program␈α⊂looks␈α⊂at␈α⊂only␈α⊂part␈α⊂of␈α⊂the
␈↓ ↓Hso-called␈α␈↓↓move␈αtree␈↓.␈α(A␈αbranching␈αdiagram␈αlike␈αthat␈αof␈α
figure␈α
1␈α
giving␈α
the␈α
moves␈α
and␈α
their␈α
successors
␈↓ ↓His␈α∞called␈α∞a␈α∞move␈α∞tree.)␈α∞The␈α∞quality␈α∞of␈α∞the␈α
program␈α
and␈α
how␈α
fast␈α
it␈α
plays␈α
are␈α
determined␈α
by␈α
what
␈↓ ↓Hmoves␈α∂are␈α∂examined␈α∂and␈α∞how␈α∞the␈α∞ultimate␈α∞positions␈α∞are␈α∞evaluated.␈α∞This␈α∞evaluation␈α∞usually␈α∞takes
␈↓ ↓Hinto␈αaccount␈αthe␈αnumber␈αof␈αpieces␈αof␈αeach␈αkind␈αposessed␈αby␈αeach␈αplayer,␈αsome␈αmeasure␈αof␈αcontrol␈αof
␈↓ ↓Himportant␈αsquares␈αlike␈αthose␈αin␈αthe␈αcenter␈αof␈αthe␈αboard␈αand␈αthose␈αnear␈αthe␈αkings,␈αand␈αother␈αaspects
␈↓ ↓Hof␈α∞the␈α∞postion␈α∞considered␈α∞important␈α∞by␈α∞chess␈α∞players.␈α∞The␈α∞"how␈α∞to␈α∞do␈α∞it"␈α
books␈α
by␈α
famouts␈α
chess
␈↓ ↓Hplayers␈α
are␈α
quite␈α
useful␈α
in␈α
making␈α
up␈α
the␈α
evaluation␈α
rules.␈α
However,␈α
it␈α
is␈α
has␈α
turned␈α
out␈αthat␈αthe
␈↓ ↓Hrules␈αthat␈αdetermine␈αwhat␈αmoves␈αthe␈αprogram␈αwill␈αconsider␈αare␈αmore␈αimportant␈αthan␈αthe␈αevaluation
␈↓ ↓Hrules.␈α∂Thus,␈α∂when␈α∂the␈α∂program␈α∂makes␈α∂a␈α∂wrong␈α∂move,␈α∂it␈α∞is␈α∞more␈α∞often␈α∞because␈α∞it␈α∞wasted␈α∞its␈α∞time
␈↓ ↓Hlooking␈αat␈αsilly␈α
moves␈α
and␈α
missed␈α
looking␈α
at␈α
an␈α
important␈α
move,␈α
rather␈α
than␈α
because␈α
it␈α
misevaluated
␈↓ ↓Ha␈α
position.

␈↓ α_Here␈αare␈αtwo␈αheuristics␈αused␈α
in␈α
recent␈α
chess␈α
programs␈α
but␈α
which␈α
are␈α
applicable␈α
to␈α
other␈α
games
␈↓ ↓Has␈αwell.␈αNeither␈αwas␈αused␈αin␈αthe␈αearliest␈α
chess␈α
programs␈α
even␈α
though␈α
they␈α
are␈α
essential␈α
for␈α
good␈α
play
␈↓ ↓Hand␈α∩humans␈α∩clearly␈α∩use␈α∩them.␈α∩Therefore,␈α∩not␈α∩using␈α∩them␈α∩was␈α∩a␈α∩failure␈α∩in␈α⊃self-observation␈α⊃by
␈↓ ↓Hexcellent␈α∞chess␈α∞players.␈α∞There␈α∞are␈α∞doubtless␈α∞many␈α∞more␈α∞failures␈α∞of␈α∞self-observation␈α∞on␈α
the␈α
part␈α
of
␈↓ ↓Hpeople␈α
trying␈αto␈αprogram␈αcomputers␈αto␈αsolve␈αproblems␈αthe␈αway␈αthey␈αthemselves␈αdo␈αit.␈αThe␈αfact␈αthat
␈↓ ↓Hfamous␈α
chess␈α
players␈α
have␈α
so␈α
far␈α
not␈α
been␈α
very␈α
successful␈α
in␈α
their␈α
chess␈α
programs␈α
indicates␈α
this.

␈↓ α_The␈αfirst␈αheuristic␈αis␈αcalled␈αthe␈α␈↓↓alpha-beta␈αheuristic␈↓␈αfor␈αirrelevant␈αreasons␈αand␈αis␈αillustrated␈αby
␈↓ ↓Hfigure␈α2.␈αIf␈αthe␈αprogram␈αlooks␈αat␈αthe␈αtop␈αthree␈αend␈αpositions␈αand␈αdetermines␈αthat␈αthe␈αvalues␈α
of␈α
these
␈↓ ↓Hpositions␈α
for␈α
the␈α
second␈α
player␈α
are␈α
8,␈α
1␈α
and␈α6,␈αit␈αwill␈αconclude␈αthat␈αif␈αthe␈αfirst␈αplayer␈αmoves␈αto␈αthe
␈↓ ↓Hpostion␈αlabelled␈αA,␈αthe␈αsecond␈αplayer␈αcan␈αreach␈αa␈αposition␈αworth␈αan␈αestimated␈α8␈αpoints␈αand␈αcan't␈αdo
␈↓ ↓Hbetter.␈αIf␈αthe␈αprogram␈αnow␈αconsiders␈αa␈αmove␈αto␈αB␈αfor␈αthe␈αfirst␈αplayer␈αand␈αlooks␈αat␈αthe␈αend␈αposition
␈↓ ↓Hlabelled␈α
9␈α
and␈α
having␈α
9␈α
as␈α
a␈α
value,␈α
it␈α
need␈α
not␈α
look␈α
at␈α
the␈α
positions␈α
labelled␈α
X␈α
and␈αY,␈αbecause␈αit
␈↓ ↓Hdoesn't␈α
matter␈α
what␈α
their␈α
values␈α
are.␈α
Think␈α
about␈α
why.

␈↓ α_Not␈α
using␈α
the␈α
alpha-beta␈α
heuristic␈α
in␈α
its␈α
general␈αform␈αis␈αdisastrous;␈αit␈αcan␈αmean␈αlooking␈αat␈αa
␈↓ ↓Hmillion␈α
positions␈α
to␈α
get␈α
information␈α
that␈α
can␈α
be␈α
obtained␈α
by␈α
looking␈α
at␈α
a␈α
thousand.

␈↓ α_The␈α␈↓↓killer␈αheuristic␈↓␈αsays␈αthat␈αif␈αa␈αcertain␈αmove␈αfor␈αone␈αside␈αhas␈α
turned␈α
out␈α
well␈α
in␈α
the␈α
analysis
␈↓ ↓Hof␈αone␈α
postion,␈α
it␈α
should␈α
be␈α
considered␈α
promptly␈α
in␈α
the␈α
analysis␈α
of␈α
other␈α
positions.␈α
Humans␈α
all␈α
use␈α
it,
␈↓ ↓Hbut␈α
not␈α
all␈α
programs␈α
written␈α
do␈α
it.

␈↓ α_Chess␈α⊃programs␈α⊃of␈α⊃this␈α⊃general␈α⊃type␈α⊃have␈α⊃obtained␈α⊃tournament␈α⊃ratings␈α⊃of␈α⊃about␈α⊂1750␈α⊂in
␈↓ ↓Hcompetition␈α⊂with␈α⊂human␈α⊂players␈α⊂-␈α⊂the␈α⊂master␈α⊂level␈α⊂starts␈α⊂at␈α⊂2200,␈α⊂and␈α∂these␈α∂programs␈α∂have␈α∂not
␈↓ ↓Himproved␈αmuch␈αin␈α
the␈α
last␈α
few␈α
years.␈α
They␈α
play␈α
particularly␈α
badly␈α
if␈α
the␈α
opponent␈α
survives␈α
until␈α
the
␈↓ ↓Hend␈αgame,␈αbecause␈αgood␈αend␈αgame␈αplay␈αdepends␈αon␈αintellectual␈αmechanisms␈αnot␈αyet␈αincorporated␈αin
␈↓ ↓Hprograms.␈α∂My␈α∂guess␈α∂is␈α∂that␈α∂the␈α∂next␈α∂big␈α∂improvement␈α∂in␈α∂chess␈α∞programs␈α∞will␈α∞come␈α∞from␈α∞a␈α∞good
␈↓ ↓Hscheme␈α∞for␈α∞recognizing␈α∞that␈α∞parts␈α
of␈α
a␈α
position␈α
belong␈α
to␈α
general␈α
patterns␈α
an␈α
searching␈α
for␈α
moves
␈↓ ↓Hrelevant␈α
to␈α
these␈α
patterns.

␈↓ α_AI␈α∂researchers␈α∂have␈α∂been␈α∂criticized␈α∂for␈α∂studying␈α∂chess.␈α∂"Why␈α∂don't␈α∂you␈α∞work␈α∞on␈α∞important
␈↓ ↓Hproblems␈α
requiring␈α
intelligence␈α
like␈α
government␈α
policy?"␈α
we␈αhave␈αbeen␈αasked.␈αThis␈αis␈αlike␈αasking␈αa
␈↓ ↓Hgeneticist␈αwhy␈αhe␈αstudies␈αfruit␈αflies␈αwhen␈αelephants␈αare␈αmore␈αimportant.␈αYou␈αcan't␈αkeep␈αa␈αthousand
␈↓ ↓Helephants␈αin␈αa␈αbottle␈αon␈αa␈αlaboratory␈αshelf,␈αand␈αyou␈αcan't␈αget␈αa␈αnew␈αgeneration␈αof␈αoffspring␈αin␈αa␈αfew
␈↓ ↓Hdays.␈α∞Chess␈α∞has␈α∞the␈α∞advantage␈α∞for␈α∞AI␈α∞research␈α∞that␈α∞it␈α∞is␈α∞easy␈α∞to␈α∞compare␈α∞the␈α∞performance␈α∞of␈α
the
␈↓ ↓Hprograms␈α∞with␈α∞human␈α∞performance.␈α∞Unfortunately,␈α∞some␈α∞of␈α∞the␈α∞chess␈α∞programmers␈α∞are␈α∞sportsmen
␈↓ ↓Hand␈α
not␈α
scientists;␈α
they␈α
compete␈α
with␈α
each␈α
other␈α
but␈α
don't␈α
write␈α
papers␈α
describing␈α
how␈α
they␈α
do␈α
it.

␈↓ α_The␈α∀best␈α∪chess␈α∪program␈α∪in␈α∪1974␈α∪is␈α∪probably␈α∪Chess␈α∪4.0␈α∪written␈α∪by␈α∪David␈α∪Slate␈α∪and␈α∪is
␈↓ ↓Hcolleagues␈α
at␈α
Northwestern␈α
University␈α
and␈α
using␈α
the␈α
Control␈α
Data␈α
6600␈α
computer.

␈↓ α_In␈αone␈αnon-trivial␈αgame,␈αkalah,␈αa␈αprogram␈α(for␈αa␈αmachine␈αthat␈αno␈αlonger␈αexists)␈αbeat␈αthe␈αbest
␈↓ ↓Hhuman␈α
players.␈α
In␈α
checkers,␈α
the␈α
best␈α
program␈α
plays␈αat␈αmaster␈αlevel.␈αIn␈αthe␈αoriental␈αgame␈αof␈α␈↓↓go␈↓,␈αthe
␈↓ ↓Hbest␈α∪program␈α∪can't␈α∪beat␈α∪the␈α∪rankest␈α∪beginner.␈α∪The␈α∪difference␈α∪is␈α∪much␈α∪more␈α∪a␈α∪matter␈α∪of␈α∪the
␈↓ ↓Hintellectual␈α∞mechanisms␈α∞required␈α∞for␈α∞good␈α∞play␈α∞rather␈α∞than␈α∞of␈α
the␈α
effort␈α
that␈α
has␈α
been␈α
put␈α
in.␈α
␈↓↓Go␈↓
␈↓ ↓Hrequres␈αthe␈αrecognition␈αand␈αseparate␈αevaluation␈αof␈αsubpositions␈αrather␈αthan␈αworking␈αwith␈αthe␈αlist␈αof
␈↓ ↓Hall␈α
legal␈α
moves.

␈↓ α_Many␈α⊃programs␈α⊃have␈α⊃been␈α⊃written␈α⊃to␈α⊃prove␈α⊃mathematical␈α⊂theorems.␈α⊂Herbert␈α⊂Gelernter␈α⊂of
␈↓ ↓HI.B.M.,␈α
using␈α
an␈α
idea␈α
of␈α
Marvin␈α
Minsky␈α
of␈α
M.I.T.,␈α
wrote␈α
a␈α
program␈αthat␈αproves␈αtheorems␈αin␈αhigh
␈↓ ↓Hschool␈α
plane␈α
geometry.␈α
It␈α
used␈α
a␈α
kind␈α
of␈αdiagram␈αin␈αthe␈αmemory␈αof␈αthe␈αcomputer␈αconsisting␈αof␈αthe
␈↓ ↓Hco-ordinates␈α∂of␈α∂a␈α∂set␈α∂of␈α∂points␈α∂satisfying␈α∂the␈α∂hypotheses␈α∂of␈α∂the␈α∂theorem.␈α∂Thus␈α∂if␈α∂it␈α∞was␈α∞asked␈α∞to
␈↓ ↓Hprove␈αtwo␈αline-segments␈αequal,␈αit␈αwould␈αtry␈αto␈αfind␈αtwo␈αtriangles␈αit␈αcould␈αprove␈αcongruent␈αof␈αwhich
␈↓ ↓Hthe␈α∂line-segments␈α∂were␈α∂corresponding␈α∂sides.␈α∂But␈α∂before␈α∂trying␈α∂to␈α∞prove␈α∞the␈α∞triangles␈α∞congruent,␈α∞it
␈↓ ↓Hwould␈α⊃check␈α⊃congruence␈α⊃numerically␈α⊃in␈α⊂the␈α⊂diagram.␈α⊂The␈α⊂program␈α⊂did␈α⊂better␈α⊂than␈α⊂high␈α⊂school
␈↓ ↓Hstudents␈α∞in␈α∞a␈α∞limited␈α∞part␈α∞of␈α∞plane␈α
geometry␈α
(no␈α
circles␈α
and␈α
no␈α
constructions),␈α
but␈α
no␈α
attempt␈α
was
␈↓ ↓Hmade␈α
to␈α
extend␈α
its␈α
metheod␈α
to␈α
other␈α
domains.

␈↓ α_Most␈αof␈αthe␈αwork␈αin␈αcomputer␈αtheorem␈αproving␈αhas␈αbeen␈αbased␈αon␈αa␈αscheme␈αcalled␈αresolution
␈↓ ↓Hinvented␈α∩by␈α∩J.␈α∩Alan␈α∩Robinson␈α∩for␈α∩proving␈α∩theorems␈α⊃in␈α⊃a␈α⊃branch␈α⊃of␈α⊃mathematical␈α⊃logic␈α⊃called
␈↓ ↓Hpredicate␈α⊂calculus.␈α⊂This␈α⊂scheme␈α⊂can't␈α⊂be␈α⊂explained␈α⊂here,␈α⊂but␈α⊂the␈α⊂general␈α⊂idea␈α⊂is␈α∂to␈α∂combine␈α∂the
␈↓ ↓Hnegation␈α
of␈α
the␈α
proposition␈α
to␈α
be␈α
proved␈αwith␈αthe␈αinitial␈αassumptions␈αto␈αget␈αnew␈αstatements␈αand␈αto
␈↓ ↓Hrepeat␈αthe␈αprocess␈αwith␈αthese␈αnew␈αstatements␈α
until␈α
a␈α
contradiction␈α
has␈α
been␈α
reached.␈α
This␈α
shows␈α
that
␈↓ ↓Hthe␈α∞negation␈α∞of␈α∞the␈α∞goal␈α∞is␈α∞false␈α∞and␈α∞hence␈α∞the␈α∞goal␈α∞statement␈α
is␈α
true.␈α
Many␈α
heuristics␈α
have␈α
been
␈↓ ↓Hprogrammed␈α⊃in␈α⊃order␈α⊃to␈α⊂reduce␈α⊂the␈α⊂combinatorial␈α⊂explosion,␈α⊂but␈α⊂it␈α⊂is␈α⊂still␈α⊂quite␈α⊂impractical␈α⊂for
␈↓ ↓Himportant␈α∂mathematical␈α∂theorems.␈α∂Compared␈α∂to␈α∂human␈α∂mathematicians,␈α∂the␈α∂results␈α∞are␈α∞laughable
␈↓ ↓Hexcept␈αin␈αa␈αfew␈αspecial␈αareas␈αof␈αmathematics␈αwhere␈αhuman␈αintuition␈αisn't␈αmuch␈αgood.␈αA␈αfew␈αresults
␈↓ ↓Hwere␈α
obtained␈α
by␈α
a␈α
program␈α
of␈α
David␈α
Luckham's␈α
before␈α
they␈α
were␈α
obtained␈α
by␈α
hand.

␈↓ α_The␈α⊃main␈α⊃limitation␈α⊃on␈α⊃the␈α⊃present␈α⊃resolution␈α⊃programs␈α⊃is␈α⊃that␈α⊃there␈α⊂is␈α⊂no␈α⊂good␈α⊂way␈α⊂of
␈↓ ↓Hintroducing␈αheuristics␈αthat␈αdepend␈α
on␈α
the␈α
subject␈α
domain.␈α
There␈α
isn't␈α
a␈α
good␈α
way␈α
of␈α
using␈α
examples,
␈↓ ↓Hand␈α⊂not␈α⊂enough␈α⊂ways␈α⊂are␈α∂known␈α∂for␈α∂preventing␈α∂the␈α∂program␈α∂from␈α∂generating␈α∂large␈α∂numbers␈α∂of
␈↓ ↓Htrivial␈α∂conclusions.␈α∞Theorem␈α∞proving␈α∞is␈α∞not␈α∞merely␈α∞important␈α∞as␈α∞an␈α∞example,␈α∞because␈α∞many␈α∞other
␈↓ ↓Himportant␈α
problems␈α
can␈α
be␈α
put␈α
into␈α
the␈α
form␈α
of␈α
proving␈α
theorems␈α
in␈α
logic.

␈↓ α_Natural␈α⊃languages,␈α⊃e.g.␈α⊃English,␈α⊃have␈α⊃been␈α⊃the␈α⊂subject␈α⊂of␈α⊂programs␈α⊂to␈α⊂translate␈α⊂from␈α⊂one
␈↓ ↓Hlanguage␈αinto␈αanother,␈αto␈αanswer␈αquestions␈αin␈αEnglish␈αabout␈αa␈αbody␈αof␈αdata␈αstored␈αin␈αthe␈αcomputer,
␈↓ ↓Hto␈α∞simulate␈α∞the␈α∞belief␈α∞system␈α∞of␈α∞a␈α∞paranoid,␈α∞and␈α∞to␈α∞manipulate␈α∞blocks␈α
in␈α
accordance␈α
with␈α
English
␈↓ ↓Hlanguage␈α
commands.␈α
The␈αearliest␈αtranslation␈αprograms␈αtried␈αto␈αgo␈αfrom␈αa␈αsentence␈αin␈αone␈αlanguage
␈↓ ↓Hto␈α∞a␈α∞sentence␈α∞in␈α∞another␈α∞purely␈α∞on␈α∞the␈α∞basis␈α∞of␈α
a␈α
dictionary␈α
and␈α
the␈α
grammatical␈α
structure␈α
of␈α
the
␈↓ ↓Hsentences,␈α∞i.e.␈α∞without␈α∞the␈α∞program␈α
having␈α
to␈α
deal␈α
with␈α
the␈α
meaning␈α
of␈α
the␈α
sentence.␈α
This␈α
worked
␈↓ ↓Hoften␈αenough␈α
to␈α
be␈α
intitially␈α
encouraging,␈α
but␈α
it␈α
eventually␈α
became␈α
clear␈α
that␈α
good␈α
translatin␈α
requires
␈↓ ↓Hsome␈α∀measure␈α∀of␈α∀understanding.␈α∀A␈α∀famous␈α∀example,␈α∀whose␈α∀authenticity␈α∀I␈α∀don't␈α∀guarantee,␈α∀is
␈↓ ↓Htranslating␈α"The␈αspirit␈αis␈αwilling,␈αbut␈αthe␈αflesh␈αis␈αweak"␈αinto␈αRussian␈αand␈αback␈αand␈αcoming␈αout␈αwith
␈↓ ↓H"The␈α
vodka␈α
is␈α
strong,␈α
but␈α
the␈α
meat␈α
is␈α
rotten".

␈↓ α_A␈α
recent␈α
program␈α
that␈α
showed␈α
the␈α
advantage␈α
of␈α"understanding"␈αa␈αlimited␈αnumber␈αof␈αwords
␈↓ ↓Hin␈αa␈αlimited␈αdomain␈αis␈αthe␈α␈↓↓Blocks␈↓␈αprogram␈αof␈αTerry␈αWinograd.␈αImagine␈αa␈αtable␈αcovered␈αwith␈αblocks
␈↓ ↓Hof␈α⊂various␈α⊂shapes␈α⊂and␈α⊂colors␈α⊂and␈α⊂an␈α⊂arm␈α⊂that␈α⊂can␈α⊂move␈α⊂them␈α⊂around.␈α⊂The␈α⊂program␈α⊂can␈α∂obey
␈↓ ↓Hcommands␈α
and␈α
answer␈α
questions␈α
like

␈↓ α_1.␈α
Will␈α
you␈α
please␈α
stack␈α
up␈α
both␈α
of␈α
the␈α
red␈α
blocks␈α
and␈α
either␈α
a␈α
green␈α
cube␈α
or␈α
a␈α
pyramid?␈α
OK.

␈↓ α_2.␈α
Which␈α
cube␈α
is␈α
sitting␈α
on␈α
the␈α
table?␈α
The␈α
large␈α
green␈α
one␈α
which␈α
supports␈α
the␈α
red␈α
pyramid.

␈↓ α_3.␈αIs␈αthere␈αa␈αlarge␈αblock␈αbehind␈αa␈αpyramid?␈αYes,␈αthree␈αof␈αthem:␈αa␈αlarge␈αred␈αone,␈αa␈αlarge␈αgreen
␈↓ ↓Hcube,␈α
and␈α
the␈α
blue␈α
one.

␈↓ α_In␈α
order␈α
to␈α
obey␈α
these␈α
commands␈α
and␈α
answer␈α
the␈α
questions,␈αit␈αhad␈αto␈αuse␈αinformation␈αabout
␈↓ ↓Hblocks␈α⊗in␈α⊗general␈α⊗and␈α⊗about␈α⊗the␈α⊗particular␈α⊗configuration␈α⊗of␈α∃the␈α∃blocks␈α∃on␈α∃the␈α∃table.␈α∃Such
␈↓ ↓Hinformation␈α
is␈α
often␈α
required␈α
in␈α
order␈α
merely␈α
to␈α
connect␈α
pronouns␈α
and␈α
nouns.

␈↓ α_Besides␈α∞these␈α∞purely␈α∞intellectual␈α∞tasks,␈α∞AI␈α∞research␈α∞has␈α∞tried␈α∞to␈α∞duplicate␈α∞sensory␈α∞and␈α∞motor
␈↓ ↓Hactivities␈α
of␈α
the␈α
human␈α
including␈α
vision,␈α
speech,␈αand␈αassembling␈αthings␈αout␈αof␈αparts␈αand␈αdriving␈αa
␈↓ ↓Hvehicle␈α
so␈α
as␈α
to␈α
get␈α
somewhere␈α
avoiding␈α
obstacles.

␈↓ α_The␈α∞earliest␈α∞vision␈α∞work␈α∞concerned␈α∞the␈α∞classification␈α∞of␈α∞scenes␈α
into␈α
categories,␈↓↓e.g.␈↓␈α
pictures␈α
of
␈↓ ↓Hletters␈αof␈αthe␈αalphabet␈αwere␈αidentified.␈αThese␈αsystems␈αused␈αcollections␈αof␈αfeatures␈αof␈αthe␈αpictures␈αand
␈↓ ↓Hwere␈α␈↓↓trained␈↓␈αto␈αmake␈αthe␈αclassification␈αby␈αpresenting␈αsample␈αpictures␈αand␈αtelling␈αthe␈αprogram␈αwhich
␈↓ ↓Hclassification␈αeach␈αsample␈αbelonged␈α
to.␈α
If␈α
the␈α
classification␈α
depends␈α
on␈α
the␈α
presence␈α
of␈α
the␈α
features␈α
in
␈↓ ↓Ha␈αsimple␈αenough␈αway,␈αthe␈αprogram␈α
can␈α
learn␈α
from␈α
the␈α
training␈α
sequence␈α
how␈α
to␈α
classify␈α
new␈α
pictures
␈↓ ↓Hcorrectly.␈α
This␈α
work␈α
lent␈α
itself␈α
to␈α
mathematical␈α
study␈α
more␈α
than␈α
other␈α
AI␈α
problems.

␈↓ α_A␈αdifferent␈αapproach␈αis␈αrequired␈αwhen␈αthe␈αvision␈αis␈αin␈αsupport␈αof␈αmanipulation.␈αIf␈αan␈αarm␈αis
␈↓ ↓Hto␈α
pick␈α
up␈α
a␈α
block,␈α
it␈α
is␈α
not␈α
enough␈α
to␈α
be␈α
able␈α
to␈α
classify␈α
pictures␈α
according␈α
to␈α
whether␈α
a␈αblock␈αis
␈↓ ↓Hpresent.␈α
The␈α
program␈α
must␈α
find␈α
a␈α
block␈α
amidst␈α
other␈α
objects␈α
and␈α
must␈α
determine␈α
its␈α
location␈α
and
␈↓ ↓Horientation␈αso␈α
that␈α
other␈α
programs␈α
can␈α
decide␈α
where␈α
to␈α
reach␈α
and␈α
with␈α
what␈α
orientation␈α
of␈α
the␈α
hand.
␈↓ ↓HPresent␈αprograms␈αwork␈αpretty␈αwell␈αfor␈αscenes␈αmade␈αup␈αof␈αobjects␈αwith␈α
flat␈α
faces,␈α
but␈α
a␈α
bare␈α
start␈α
has
␈↓ ↓Hbeen␈α
made␈α
on␈α
natural␈α
scenes␈α
that␈α
contain␈α
curved␈α
and␈α
irregular␈α
objects.

␈↓ ↓HTheory

␈↓ α_The␈α⊗efforts␈α⊗to␈α⊗make␈α⊗computer␈α⊗programs␈α⊗for␈α⊗increasingly␈α⊗difficult␈α⊗tasks␈α⊗helps␈α∃identify
␈↓ ↓Hintellectual␈αmechanisms␈αthat␈αare␈αapplicable␈αto␈α
many␈α
tasks.␈α
The␈α
theoretical␈α
study␈α
of␈α
these␈α
mechanisms
␈↓ ↓Hshould␈α
in␈α
turn␈α
help␈α
the␈α
programmers.␈α
Already␈α
it␈αseems␈αthat␈αthe␈αmechanisms␈αused␈αdepend␈αmore␈αon
␈↓ ↓Hthe␈α
kind␈α
of␈α
task␈α
than␈α
on␈α
the␈α
performer.␈α
Thus␈α
we␈α
would␈α
expect␈α
that␈αmen,␈αmachines,␈αand␈αMartians
␈↓ ↓Hmust␈αall␈αinclude␈αtree␈αsearch␈αwith␈αthe␈αalpha-beta␈αheuristic␈αin␈αtheir␈αrespective␈αways␈αof␈αplaying␈α
chess␈α
if
␈↓ ↓Hthey␈α
are␈α
to␈α
play␈α
well.

␈↓ α_Here␈α
are␈α
some␈α
of␈α
the␈α
intellectual␈α
mechanisms␈α
that␈α
have␈α
been␈α
studied:

␈↓ α_1.␈α∂␈↓↓Tree␈α∂search␈↓␈α∂is␈α∂examining␈α∂possible␈α∂actions,␈α∂the␈α∞possible␈α∞events␈α∞that␈α∞may␈α∞result␈α∞from␈α∞these
␈↓ ↓Hactions,␈α⊃and␈α⊃the␈α⊃further␈α⊃actions␈α⊃that␈α⊃then␈α⊃become␈α⊃possible,␈α⊃etc.␈α⊃Tree␈α⊃search␈α⊃comes␈α⊃up␈α⊃in␈α⊂game
␈↓ ↓Hplaying,␈α
theorem␈α
proving,␈α
common␈α
sense␈α
reasoning,␈α
and␈α
many␈α
other␈α
tasks.␈α
Research␈α
has␈α
concentrated
␈↓ ↓Hon␈α
reducing␈α
the␈α
amount␈α
of␈α
search␈α
that␈α
has␈α
to␈α
be␈α
done.

␈↓ α_2.␈α∞␈↓↓Hill␈α∞climbing␈↓␈α∞involves␈α∞seeking␈α∞a␈α
goal␈α
by␈α
being␈α
able␈α
to␈α
compare␈α
two␈α
possible␈α
situations␈α
in
␈↓ ↓Horder␈α∞to␈α∞determine␈α∞which␈α∞is␈α∞better.␈α∞Hill␈α∞climbing␈α∞is␈α∞very␈α
efficient␈α
compared␈α
to␈α
tree␈α
search␈α
for␈α
the
␈↓ ↓Hgoal␈α
when␈α
it␈α
is␈α
possible.␈α
The␈α
problem␈α
is␈α
to␈α
get␈α
a␈α
good␈α
way␈α
of␈α
comparing␈α
situations.

␈↓ α_3.␈α∞␈↓↓Isolation␈α∞and␈α∞combination␈↓␈α
Humans␈α
solve␈α
problems␈α
by␈α
identifying␈α
subproblems␈α
that␈α
can␈α
be
␈↓ ↓Hsolved␈α
separately.␈α
While␈α
there␈α
are␈α
some␈α
examples␈α
of␈α
this␈α
in␈α
AI,␈α
there␈α
are␈α
no␈α
general␈α
methods␈α
as␈α
yet.

␈↓ α_4.␈↓↓Pattern␈α∞recognition.␈↓␈α∞Often␈α
opportunities␈α
for␈α
successful␈α
action␈α
depend␈α
on␈α
recognizing␈α
that␈α
a
␈↓ ↓Hpart␈α∂of␈α∂the␈α∂information␈α∂at␈α∂the␈α∂program's␈α∂disposal␈α∂is␈α∂an␈α∂example␈α∂of␈α∂a␈α∂particular␈α∂pattern.␈α∂Pattern
␈↓ ↓Hrecognition␈α
is␈α
well␈α
developed␈α
in␈α
natural␈α
language␈α
studies,␈α
but␈α
there␈α
are␈αunexploited␈αpossibilities␈αin
␈↓ ↓Hvision,␈α
in␈α
games,␈α
and␈α
in␈α
common␈α
sense␈α
reasoning.␈α
More␈α
general␈α
notions␈α
of␈α
pattern␈α
are␈α
needed.

␈↓ α_5.␈αIt␈αis␈αusually␈α
much␈α
more␈α
difficult␈α
to␈α
modify␈α
the␈α
behavior␈α
of␈α
a␈α
present␈α
day␈α
computer␈α
program
␈↓ ↓Hthan␈αto␈αteach␈αa␈αperson␈αa␈αnew␈αtrick.␈αA␈αchess␈αplayer␈αcan␈αbe␈αtold␈αabout␈α"smothered␈αmates"␈α
and␈α
will␈α
use
␈↓ ↓Hthe␈αinformation␈αwithout␈αthe␈αteller␈αhaving␈αto␈αknow␈αmuch␈αabout␈αthe␈αperson␈αbeing␈αtold␈αexcept␈αthat␈αhe
␈↓ ↓Hknows␈αEnglish␈αand␈αsomething␈αabout␈αchess.␈αTo␈αmodify␈α
a␈α
program␈α
to␈α
take␈α
smother␈α
mates␈α
into␈α
account
␈↓ ↓Husually␈αrequires␈αa␈αdetailed␈α
understanding␈α
of␈α
the␈α
program␈α
and␈α
modifications␈α
in␈α
several␈α
places.␈α
It␈α
is␈α
as
␈↓ ↓Hif␈α
human␈α
education␈α
were␈α
done␈α
by␈α
brain␈α
surgeons␈α
reconnecting␈α
nerve␈α
cells␈α
in␈α
new␈α
arrangements.

␈↓ α_Improved␈α⊂modifiability␈α⊂is␈α⊂especially␈α⊂important␈α⊂when␈α⊂we␈α⊂want␈α⊂the␈α⊂program␈α∂to␈α∂␈↓↓learn,␈α∂i.e.␈↓␈α∂to
␈↓ ↓Hmodify␈α
itself.␈α
Programs␈α
can␈α
be␈α
made␈α
to␈α
learn␈α
from␈α
experience␈α
when␈α
the␈α
aspects␈α
of␈α
behavior␈αto␈αbe
␈↓ ↓Hmodified␈α
are␈α
isolated.␈α
It␈α
has␈α
been␈α
expecially␈α
easy␈α
to␈α
make␈α
programs␈α
that␈α
learn␈α
the␈α
best␈α
value␈αof␈αa
␈↓ ↓Hnumber.␈α
For␈α
example,␈α
a␈α
chess␈α
program␈α
could␈α
easily␈α
be␈αmade␈αto␈αlearn␈αhow␈αmany␈αpawns␈αa␈αqueen␈αis
␈↓ ↓Hworth.␈α
In␈α
general,␈α
a␈α
program␈α
can␈α
learn␈α
for␈α
itself␈α
only␈α
what␈α
it␈α
could␈α
be␈α
told.

␈↓ α_Three␈α≠approaches␈α≠to␈α≠the␈α≠modifiability␈α≠problem␈α≠are␈α~worth␈α~mentioning.␈α~First,␈α~better
␈↓ ↓Hprogramming␈α
languages␈α
that␈α
allow␈αeasy␈αdescription␈αof␈αpatterns␈αhelp␈αexpress␈αseparate␈αaspects␈αof␈αthe
␈↓ ↓Hdesired␈α∞behavior␈α
in␈α
separate␈α
and␈α
readily␈α
modified␈α
ways.␈α
Second,␈α
new␈α
style␈α
␈↓↓automatic␈α
programming␈↓
␈↓ ↓Hgets␈α
the␈α
computer␈α
to␈α
go␈α
from␈α
facts␈α
to␈α
efficient␈α
programs␈α
using␈α
these␈αfacts.␈αThird,␈αwe␈αare␈αgradually
␈↓ ↓Hlearning␈αto␈αmake␈αcomputers␈α
reason,␈α
␈↓↓i.e.␈↓␈α
draw␈α
conclusions␈α
from␈α
information␈α
represented␈α
in␈α
declarative
␈↓ ↓Hsentences.

␈↓ α_It␈α∂is␈α∂generally␈α∂agreed␈α∂that␈α∞progress␈α∞in␈α∞the␈α∞representation␈α∞of␈α∞information␈α∞about␈α∞the␈α∞world␈α∞is
␈↓ ↓Hmost␈α
needed␈α
in␈α
AI␈α
in␈α
the␈α
next␈α
few␈α
years.
General Intelligence
␈↓ ↓H

␈↓ ↓H
␈↓ α_␈↓ ↓HA␈α∃program␈α∀that␈α∀plays␈α∀good␈α∀chess␈α∀needs␈α∀intellectual␈α∀mechanisms␈α∀that␈α∀are␈α∀also␈α∀used␈α∀in␈α∀other
␈↓ ↓Hintellectual␈αactivities.␈αNevertheless,␈αthe␈αprogram␈αcan't␈αdo␈αanything␈αbut␈αplay␈αchess␈αand␈αdoesn't␈αsatisfy
␈↓ ↓Hour␈α∞intuition␈α
that␈α
a␈α
␈↓↓truly␈↓␈α
intelligent␈α
program␈α
wouldn't␈α
have␈α
chess␈α
built␈α
in␈α
but␈α
would␈α
learn␈α
it␈α
as␈α
a
␈↓ ↓Hhuman␈αdoes␈αand␈αwould␈αadapt␈αits␈αgeneral␈αintelligence␈αto␈αchoose␈α
and␈α
solve␈α
particular␈α
problems.␈α
There
␈↓ ↓His␈α
no␈α
such␈α
generally␈α
intelligent␈α
program␈α
today.

␈↓ α_Such␈α∂a␈α∂program␈α∂has␈α∂to␈α∂be␈α∂general␈α∂in␈α∂two␈α∂ways--in␈α∂what␈α∂it␈α∞knows␈α∞and␈α∞in␈α∞its␈α∞ability␈α∞to␈α∞use
␈↓ ↓Hknowledge␈α
to␈α
solve␈α
problems.

␈↓ α_Here␈α
are␈α
some␈α
things␈α
a␈α
general␈α
intelligence␈α
must␈α
know:

␈↓ α_1.␈α
It␈α
must␈α
know␈α
about␈α
events␈α
happening␈α
in␈α
time.

␈↓ α_2.␈α
It␈α
must␈α
know␈α
how␈α
its␈α
own␈α
actions␈α
and␈α
those␈α
of␈α
people␈α
affect␈α
events.

␈↓ α_3.␈α
It␈α
must␈α
be␈α
able␈α
to␈α
compare␈α
situations␈α
and␈α
decide␈α
whether␈α
it␈α
likes␈α
one␈α
better␈α
than␈α
another.

␈↓ α_4.␈α
It␈α
must␈α
know␈α
about␈α
material␈α
objects,␈α
their␈α
locations␈α
in␈α
space,␈α
their␈αmotions,␈αand␈αhow␈αthey
␈↓ ↓Hare␈α
built␈α
up␈α
from␈α
smaller␈α
objects␈α
and␈α
can␈α
be␈α
destroyed.

␈↓ α_5.␈αFor␈αmany␈αpurposes,␈αit␈αmust␈αunderstand␈αitself␈αas␈αa␈αmaterial␈αobject␈αand␈αhow␈αit␈αis␈αaffected␈αby
␈↓ ↓Hits␈α
own␈α
actions␈α
and␈α
other␈α
events␈α
and␈α
how␈α
its␈α
physical␈α
state␈α
affects␈α
its␈α
possibilities␈α
for␈α
action.

␈↓ α_6.␈α
It␈α
must␈α
know␈α
about␈α
knowledge␈αand␈αhow␈αit␈αcan␈αbe␈αobtained,␈α␈↓↓e.g.␈↓␈αby␈αobservation,␈αby␈αasking
␈↓ ↓Hother␈α⊃people␈α⊃(thus␈α⊂it␈α⊂has␈α⊂to␈α⊂know␈α⊂that␈α⊂information␈α⊂operators␈α⊂know␈α⊂telephone␈α⊂numbers)␈α⊂and␈α⊂by
␈↓ ↓Hreading.

␈↓ α_Besides␈αthis,␈αit␈α
has␈α
to␈α
know␈α
lots␈α
of␈α
particular␈α
facts␈α
relevant␈α
to␈α
solving␈α
particular␈α
problems␈α
such
␈↓ ↓Has␈α
the␈α
moves␈α
of␈α
the␈α
chess␈α
men␈α
and␈α
what␈α
happens␈α
to␈α
eggs␈α
dropped␈α
on␈α
the␈α
floor.

␈↓ α_This␈αis␈αonly␈αa␈αsample␈αof␈αwhat␈αa␈αgeneral␈αintelligence␈αmust␈αknow,␈αbecause␈αno␈αone␈α
has␈α
been␈α
able
␈↓ ↓Hto␈α∞write␈α∞down␈α∞a␈α∞complete␈α∞list--more␈α∞from␈α∞confusion␈α∞than␈α∞from␈α∞lack␈α
of␈α
diligence.␈α
We␈α
do␈α
not␈α
know
␈↓ ↓Hwhat␈α
a␈α
general␈α
intelligence␈α
has␈α
to␈α
know.

␈↓ α_In␈α
this␈α
puzzlement␈αartificial␈αintelligence␈αresearchers␈αare␈αnot␈αalone,␈αbecause␈αfor␈αmore␈αthan␈αtwo
␈↓ ↓Hthousand␈α
years,␈α
philosophers␈α
have␈α
been␈α
concerned␈α
with␈α
the␈αgeneral␈αstructure␈αof␈αthe␈αworld␈αand␈αthe
␈↓ ↓Hnature␈α
of␈α
knowledge.␈α
Unfortunately,␈α
they␈α
don't␈α
seem␈α
to␈α
have␈α
come␈α
up␈α
with␈α
anything␈α
concrete␈α
enough
␈↓ ↓Hto␈α∀be␈α∀the␈α∪basis␈α∪of␈α∪a␈α∪computer␈α∪program.␈α∪Indeed,␈α∪in␈α∪the␈α∪1930's,␈α∪some␈α∪philosophers␈α∪became␈α∪so
␈↓ ↓Hdiscouraged␈αwith␈αthe␈αproblem␈αthat␈αthey␈αdenied␈αthat␈αthere␈αwas␈αanything␈αto␈αknow␈αabout␈αthe␈αstructure
␈↓ ↓Hof␈α∩the␈α∩world␈α∩apart␈α∩from␈α∩the␈α⊃particular␈α⊃sciences.␈α⊃There␈α⊃is␈α⊃some␈α⊃hope␈α⊃that␈α⊃artificial␈α⊃intelligence
␈↓ ↓Hresearch␈αcan␈αhelp␈αwith␈αthe␈αphilosophical␈αproblems,␈αbecause␈αinstead␈αof␈αbeginning␈αby␈αworrying␈αabout
␈↓ ↓Hknowledge␈α⊂in␈α⊂general,␈α⊂we␈α⊂can␈α⊂start␈α⊂by␈α⊂trying␈α⊂to␈α⊂put␈α⊂enough␈α⊂knowledge␈α⊂about␈α⊂knowledge␈α⊂into␈α∂a
␈↓ ↓Hcomputer␈α
program␈α
so␈α
that␈α
it␈α
can␈α
ask␈α
Bill␈α
who␈α
might␈α
know␈α
Christine's␈α
telephone␈α
number.

␈↓ α_There␈αis␈αcontroversy␈αabout␈αhow␈αto␈αrepresent␈αknowledge␈αin␈αthe␈αmemory␈αof␈αthe␈αcomputer.␈α
Some
␈↓ ↓Hthink␈αmost␈αknowledge␈αshould␈αbe␈αrepresented␈αby␈αprocedures␈αthat␈αtell␈αwhat␈αwill␈αhappen␈αwhen␈αcertain
␈↓ ↓Hactions␈α
are␈α
performed.␈α
Special␈αcomputer␈αlanguages␈αcalled␈αPLANNER␈αand␈αCONNIVER␈αhave␈αbeen
␈↓ ↓Hinvented␈α
for␈α
this␈α
purpose.␈α
Others␈αemphasize␈αrepresenting␈αknowledge␈αby␈αdeclarative␈αsentences.␈αThis
␈↓ ↓Hgroup␈αis␈αdivided␈αbetween␈αthose␈αwho␈α
use␈α
a␈α
mathematical␈α
language␈α
called␈α
predicate␈α
calculus␈α
and␈α
those
␈↓ ↓Hwhose␈αapproach␈αis␈αbased␈αon␈αa␈αnatural␈αlanguage␈α
like␈α
English.␈α
The␈α
former␈α
have␈α
the␈α
advantage␈α
that␈α
it
␈↓ ↓His␈α
definite␈α
in␈α
mathematical␈α
logic␈α
when␈α
one␈α
statement␈α
follows␈αfrom␈αanother,␈αand␈αthe␈αlatter␈αhave␈αthe
␈↓ ↓Hadvantage␈α
that␈α
presumably␈α
everything␈α
that␈α
has␈α
to␈α
be␈α
said,␈α
can␈α
be␈α
said␈α
in␈α
English.

␈↓ α_Besides␈α∞general␈α∞information␈α∞and␈α∞general␈α∞ways␈α∞of␈α
representing␈α
special␈α
information,␈α
a␈α
general
␈↓ ↓Hintelligence␈αalso␈αneeds␈αgeneral␈αmethods␈αof␈αproblem␈αsolving␈αand␈αgeneral␈αways␈αof␈αrepresenting␈αspecial
␈↓ ↓Hmethods␈α
of␈α
problem␈α
solving.

␈↓ ↓HSocial␈α
Consequences

␈↓ α_Some␈α↔research␈α↔in␈α↔AI␈α↔has␈α↔already␈α↔had␈α⊗application␈α⊗in␈α⊗other␈α⊗fields.␈α⊗This␈α⊗includes␈α⊗the
␈↓ ↓Hidentification␈α⊂of␈α⊂chemical␈α⊂structures␈α⊂that␈α⊂result␈α⊂in␈α⊂a␈α∂given␈α∂mass␈α∂spectrogram,␈α∂some␈α∂of␈α∂the␈α∂vision
␈↓ ↓Hwork,␈α
and␈α
the␈α
work␈α
on␈α
programming␈α
language.␈αMore␈αappplications␈αare␈αexpected␈αin␈αthe␈αmoderately
␈↓ ↓Hnew␈αfuture␈αto␈αsuch␈αfields␈αas␈αautomatically␈αdriving␈αa␈αvehicle␈αand␈αautomatically␈αassembling␈αmachines
␈↓ ↓Hfrom␈α⊃parts.␈α⊃Socially,␈α⊃these␈α⊃applications␈α⊃will␈α⊃be␈α⊃similar␈α⊂to␈α⊂other␈α⊂advances␈α⊂in␈α⊂technology--␈α⊂greater
␈↓ ↓Hprosperity␈αand␈αindividual␈αchoice␈αaccompanied␈αby␈αsome␈αproblems␈αof␈αadjustment␈αthat␈αdepend␈αon␈αthe
␈↓ ↓Hparticular␈α
case.

␈↓ α_However,␈α∞a␈α∞complete␈α∞solution␈α∞of␈α∞the␈α∞AI␈α∞problem,␈α
␈↓↓i.e.␈↓␈α
programs␈α
as␈α
smart␈α
as␈α
people␈α
would␈α
be
␈↓ ↓Hsomething␈α
quite␈α
different.␈α
Here␈α
are␈α
some␈α
observations:

␈↓ α_1.␈αIf␈αwe␈αcan␈αmake␈αmachines␈αas␈αintelligent␈αas␈αpeople,␈αwe␈αcan␈αmake␈αthem␈αmuch␈αsmarter␈αjust␈αby
␈↓ ↓Hincreasing␈α
their␈α
speed␈α
and␈α
memory␈α
size.␈α
Thus␈α
the␈α
science␈α
fiction␈α
idea␈α
of␈α
robots␈α
as␈αanother␈αrace␈αof
␈↓ ↓Hhumans␈α
is␈α
unrealistic.

␈↓ α_2.␈αHumans␈αhave␈αcomplicated␈αmotivational␈αand␈αemotional␈αstructures␈αthat␈α
arose␈α
in␈α
the␈α
course␈α
of
␈↓ ↓Hour␈αevolution␈αfrom␈αlower␈αanimals.␈αIn␈αparticular,␈αwe␈αchange␈αour␈αgoals␈αoften,␈αand␈αwe␈αhave␈αa␈αsense␈αof
␈↓ ↓Hour␈α⊂own␈α⊂rights␈α⊂and␈α⊂self␈α⊂esteem.␈α⊂It␈α⊂would␈α⊂not␈α⊂seem␈α⊂advantageous␈α⊂to␈α⊂put␈α∂artificial␈α∂intelligence␈α∂in
␈↓ ↓Hhuman-like␈αbodies␈αand␈αtry␈αto␈αgive␈α
them␈α
human␈α
motivations.␈α
It␈α
would␈α
seem␈α
better␈α
to␈α
let␈α
them␈α
inhabit
␈↓ ↓Hcomputers␈α
and␈α
answer␈α
our␈α
questions␈α
as␈α
best␈α
they␈α
can.

␈↓ α_3.␈α
If␈αwe␈αhad␈αa␈αvery␈αintelligent␈αprogram.␈αone␈αof␈αthe␈αfirst␈αproblems␈αto␈αput␈αit␈αon␈αis␈αdetermining
␈↓ ↓Hthe␈α
consequences␈α
of␈α
the␈α
various␈α
policies␈α
that␈α
might␈α
be␈α
adopted␈α
concerning␈α
its␈α
use.

␈↓ α_4.␈α
The␈α
most␈α
likely␈α
choice␈α
to␈α
me␈α
is␈α
to␈αuse␈αartificial␈αintelligence␈αto␈αenhance␈αhuman␈αintelligence
␈↓ ↓Hand␈α∂individuality,␈α∂perhaps␈α∂even␈α∂by␈α∂some␈α∞man-machine␈α∞merger␈α∞as␈α∞depcted␈α∞in␈α∞some␈α∞science␈α∞fiction
␈↓ ↓Hstories.

␈↓ α_5.␈αAll␈αthis␈αis␈αvery␈αmuch␈αlike␈αconcocting␈αa␈αrecipe␈αfor␈αrabbit␈αstew␈αwithout␈αknowing␈α
how␈α
to␈α
catch
␈↓ ↓Hrabbits.␈α
We␈α
will␈α
have␈α
to␈α
know␈α
a␈α
lot␈α
more␈α
about␈α
artificial␈α
intelligence␈α
before␈α
we␈α
can␈α
face␈α
decisions
␈↓ ↓Habout␈α
how␈α
to␈α
use␈α
it.